1. From logic design to logic programming : theorem proving techniques and P-functions
Author: Snyers, Dominique, 9591-
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Automatic theorem proving,، Computer algorithms,، Logic programming
Classification :
QA
76
.
L28
Vol
.
271
